Quantales and Fell bundles
نویسندگان
چکیده
منابع مشابه
Fell Bundles over Groupoids
We study the C*-algebras associated to Fell bundles over groupoids and give a notion of equivalence for Fell bundles which guarantees that the associated C*-algebras are strong Morita equivalent. As a corollary we show that any saturated Fell bundle is equivalent to a semi-direct product arising from the action of the groupoid on a C*-bundle. A C*-algebraic bundle (see [F2, §11]) over a locally...
متن کاملOrthomodular Lattices and Quantales
Let L be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of L contained in the center of L and endomorphisms j of L satisfying the Borceux-Van den Bossche conditions.
متن کاملQuantales and Observational Semantics
We illustrate the idea that quantales can be regarded as algebras of experimental observations on physical systems, and we give a survey of some research in computer science where this idea has been used. We extend the mathematical framework hitherto available so that it can be applied to more general systems than before, in particular to quantum systems and systems whose behaviour is partially...
متن کاملQuantales and Continuity Spaces
The theory of metric spaces provides an elementary introduction to topology and unies many branches of classical analysis. Using it, the intuitive notions of continuity, limit and Cauchy sequence can be developed in a very general setting. Moreover, since metric techniques are frequently much more powerful than topological ones, they make possible simpler and more elegant solutions to many prob...
متن کاملQuantales and Temporal Logics
We propose an algebraic semantics for the temporal logic CTL∗ and simplify it for its sublogics CTL and LTL. We abstractly represent state and path formulas over transition systems in Boolean left quantales. These are complete lattices with a multiplication that preserves arbitrary joins in its left argument and is isotone in its right argument. Over these quantales, the semantics of CTL∗ formu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2018
ISSN: 0001-8708
DOI: 10.1016/j.aim.2017.12.001